1

Embedding the hypersequent calculus in the display calculus

Year:
2015
Language:
english
File:
PDF, 226 KB
english, 2015
5

Cut-elimination for Weak Grzegorczyk LogicGo

Year:
2014
Language:
english
File:
PDF, 376 KB
english, 2014
11

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED

Year:
2012
Language:
english
File:
PDF, 188 KB
english, 2012
21

Power and Limits of Structural Display Rules

Year:
2016
Language:
english
File:
PDF, 676 KB
english, 2016
27

Loss and travel: a review of literature and current understandings

Year:
2017
Language:
english
File:
PDF, 878 KB
english, 2017
31

Platelet-Rich Plasma: A Literature Review

Year:
2009
Language:
english
File:
PDF, 1.31 MB
english, 2009
43

Hypersequent and Display Calculi – a Unified Perspective

Year:
2014
Language:
english
File:
PDF, 444 KB
english, 2014